2441. رساله منطقی ـ فلسفی: فارسی، آلمانی، انگلیسی
پدیدآورنده : / لودویگ ویتگنشتاین,عنوان اصلی: Tractatus logico-philosophicus ,1992.,ویتگنشتاین,Wittgenstein
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : زبان و منطق,Language and logic,منطق ریاضی,Logic, Symbolic and mathematical,زبان,Language and languages,فلسفه آلمانی,Philosophy, German, -- فلسفه, -- Philosophy, -- قرن ۲۰م., -- 20th century
رده :
B
۳۳۷۶
/
و
۹
ر
۵۲ ۱۴۰۰
2442. روش های اثبات
پدیدآورنده : ولمن Velleman دانیل ج. , Daniel J.
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics
رده :
QA
9
/
و
8
ر
9
1400
2443. روش‌های اثبات
پدیدآورنده : / تالیف دانیل ولمان,عنوان اصلی: How to prove it : a structured approach,2nd ed,2006.,ولمن,Velleman
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics,a01,a01,a02,a02
رده :
QA
۹
/
و
۸
ر
۹ ۱۳۹۸
2444. فلسفه ریاضیات
پدیدآورنده : دامت Dummett ، مایکل ا. ای. , Michael A. E.
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
رده :
QA
8/4
/
د
2
ف
8
1397
2445. فلسفه ریاضیات
پدیدآورنده : مایکل دامت,دامت,Dummett
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
رده :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
2446. لودویگ ویتگنشتاین: رساله ی منطقی- فلسفی
پدیدآورنده : / هانس یوهان گلوک,کتاب حاضر ترجمه بخشی از جلد چهارم کتاب«Central Works of Philosophy» تحت عنوان «Ludwig Wittgenstein: Tractatus Logico-Philosophicus» است.,گلوک,Glock
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : ویتگنشتاین، لودویگ، ۱۸۸۹ - ۱۹۵۱م.,Wittgenstein, Ludwig, . رساله منطقی - فلسفی, . Tractatus logico- philosophicus,a01,a01,ba,منطق ریاضی,Logic, Symbolic and mathematical,فلسفه,Philosophy,a02,a03
رده :
B
۳۳۷۶
/
و
۹
گ
۸ ۱۳۹۶
2447. مبحثی در منطق ریاضی
پدیدآورنده : / شاسی‌موهان سریواستاوا,A course on mathematical logic, ]2013].
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : منطق ریاضی -- کتاب‌های درسی,Textbooks -- Logic, Symbolic and mathematical
رده :
۵۱۱
/
۳
س
۵۲۶
م
2448. مختصری از منطق ریاضی (حساب محمولات)
پدیدآورنده : / گردآورنده غلامرضا یاسیپور.,یاسیپور
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,a01
رده :
QA
۹
/
ی
۲
م
۳ ۱۳۹۶
2449. م‍دخ‍ل منطق صورت، ی‍ا، منطق ریاضی
پدیدآورنده : / ن‍گ‍ارش غ‍لام‍ح‍س‍ی‍ن م‍ص‍اح‍ب.,م‍ص‍اح‍ب
کتابخانه: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۶
م
۴ ۱۳۶۶
2450. مفهوم‌نگاشت
پدیدآورنده : / گوتلوب فرِگه,فرگه,Frege
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics, -- فلسفه, -- Philosophy,a02,a01
رده :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
2451. مقدمه‌ای بر منطق جدید
پدیدآورنده : / پل اگره,کتاب حاضر ترجمه درس‌گفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوه‌ای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
کتابخانه: Library of Razavi University of Islamic Sciences (Khorasan Razavi)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern,a02,a02,a01,a01
رده :
۵۱۱
/
۳
الف
۶۹۶
م
2452. مقدمه‌ای بر منطق جدید
پدیدآورنده : / پل اگره,کتاب حاضر ترجمه درس‌گفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوه‌ای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern
رده :
QA
۹
/
الف
۷
م
۷ ۱۴۰۱
2453. مقدمه‌ای بر نظریه‌ی اصولی مجموعه‌ها
پدیدآورنده : / تالیف عبدعلی کوچک پور، مهرداد نامداری.,کوچکپور
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : نظریه اصولی مجموعه‌ها,Axiomatic set theory,منطق ریاضی,Logic, Symbolic and mathematical,a06,a06,a08,a08
رده :
QA
۲۴۸
/
ک
۹
م
۷ ۱۳۹۴
2454. منطق ریاضی
پدیدآورنده : / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: Comprehensive Library of Al-Mustafa Al-Alamiya Society (Qom)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2455. منطق ریاضی
پدیدآورنده : / محمد اردشیر.,اردشیر بهرستاقی
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,a06,a06
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۹
2456. منطق ریاضی
پدیدآورنده : / تالیف منیره پیمان,پیمان
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,a01,a01
رده :
QA
۹
/
پ
۹
م
۸
2457. منطق ریاضی
پدیدآورنده : / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: Library of The Higher Educational Institute of Imam Khomeini (Qom)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2458. منطق و زبان‌شناسی
پدیدآورنده : / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۷
م
۸
2459. منطق و زبان‌شناسی
پدیدآورنده : / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: Internatinal university of islamic denominations (Tehran)
موضوع : زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۸
م
۸ ۱۳۹۹
2460. منطق و زبان‌شناسی
پدیدآورنده : / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۷
م
۸ ۱۳۹۹
